Timing Analysis of an Embedded Memory: SPSMALL
نویسنده
چکیده
This paper proposes a high-level formalism, called Abstract Functional and Timing Graph (AFTG), for describing a memory architecture, which combines logical functionality and timing. After translation of the AFTG into the form a timed automaton, we are able to compute the response times of the modeled memory, and check their consistency with the values specified in the datasheet. We also address the problem of finding optimal values of setup timings.
منابع مشابه
Embedded Memory Test Strategies and Repair
The demand of self-testing proportionally increases with memory size in System on Chip (SoC). SoC architecture normally occupies the majority of its area by memories. Due to increase in density of embedded memories, there is a need of self-testing mechanism in SoC design. Therefore, this research study focuses on this problem and introduces a smooth solution for self-testing. In the proposed m...
متن کاملVerification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata
Using a variant of Clariso-Cortadella’s parametric method for verifying asynchronous circuits, we formally derive a set of linear constraints that ensure the correctness of some crucial timing behaviours of the architecture of SPSMALL memory. This allows us to check two different implementations of this architecture.
متن کاملTimed verification of the generic architecture of a memory circuit using parametric timed automata
Using a variant of Clariso-Cortadella’s parametric method for verifying asynchronous circuits, we analyse some crucial timing behaviors of the architecture of SPSMALL memory, a commercial product of STMicroelectronics. Using the model of parametric timed automata and model checker HYTECH, we formally derive a set of linear constraints that ensure the correctness of the response times of the mem...
متن کاملThe Role of working memory capacity on the learning the relative timing a motor task: Emphasis on implicit and explicit approaches
Abstract The aim of this study was to investigate the role of working memory capacity and errorless and errorful practice on the learning the relative timing was a motor task. 50 Participants based on were selected aged 22±4 years as accessible samples randomly assigned to one of four groups (errorless low working memory capacity, errorful low working memory capacity, errorless high working me...
متن کاملOn Properties of the Inverse Method: Commutation of Instanciation and Full Covering of the Behavioral Cartography
When one performs an Inverse Method [5] on a Parametric Timed Automata [1] over an instance π0, one can instantiate some parameters at the very beginning of the analysis or at the end, with a restriction of the constraint K0 obtained in order to get a constraint over a subset of the parameters. In this report, we show that the results of either methods are the same. We present a theoretical pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006